1. Predicate calculus and program semantics
Author: Edsger W. Dijkstra, Carel S. Scholten
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
9
.
35
.
D55
1989
